probability measure

A probability measure on a space is one such that .